chemlambda demos
The Ackermann function is a
famous computable but not primitive recursive function
. Random reduction algorithm for Ack(4,0)=13.
Done with the mol file ackermann_4_0.mol and with the quiner script from the chemlambda repository. Click on the "fork me" badge to get to the repository and see how to use it in the
README.md
.
start